The EPOS system at Helmholtz Centre Dresden-Rossendorf An intense pulsed positron source R. Krause-Rehberg Martin-Luther University Halle-Wittenberg, Dept. of Physics, 06099 Halle / Germany reinhard.krause-rehberg@physik

Source URL: positron.physik.uni-halle.de

The superjump in Martin-L¨of type theory Michael Rathjen School of Mathematics, University of Leeds, Leeds LS2 9JT, UK Abstract Universes of types were introduced into constructive type theory by MartinL¨ofThe i

Source URL: www1.maths.leeds.ac.uk

What’s going on? Uncertain data and uncertain outcomes Speech given by Martin Weale, External Member of the Monetary Policy Committee University of Liverpool 13 May 2016

Source URL: www.bankofengland.co.uk

An Extension of Martin-Löf Type Theory with Sized Types Andreas Abel1 and Théo Winterhalter2 1 Department of Computer Science and Eng., Gothenburg University, Sweden

Source URL: www2.tcs.ifi.lmu.de

STEFANIE BRILON HEC, Universit de Lausanne Internef, CH-1015 Lausanne Citizenship : German Phone +

Source URL: www.idep.eco.usi.ch

• States of Germany
• Fellows of the Econometric Society
• University of Bonn
• Bonn
• University of Mannheim
• Economics
• Martin Hellwig
• Max Planck Institute for Research on Collective Goods
• Toulouse School of Economics
• Microeconomics

Universitä t -Sch Martin Platz g

Source URL: rgs-econ.org

• Technical University of Dortmund
• S1

Simulating Complex Flows in the Earth Mantle Wolfgang Bangerth, Department of Atmospheric Sciences, Texas A&M University Joint work with Timo Heister, Eric Heien, Thomas Geenen, Martin Kronbichler, Juliane Dannberg, Rene

Source URL: sc.tamu.edu

The constructive Hilbert program and the limits of Martin-L¨of type theory∗ Michael Rathjen Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom E-Mail:

Source URL: www1.maths.leeds.ac.uk

Featured Speaker: Dr. Derek H. Alderman, Professor & Head, Department of Geography, University of Tennessee, Knoxville At the Intersection of Past, Present & Future: The Geography of Naming Streets after Martin Luther Ki

Source URL: bfsa.utk.edu

How to Measure Phase Distribution and Degree of Sintering in Iron Ore Pellets Martin Simonsson Department of Computer Science, Electrical and Space Engineering, Lule˚a University of Technology, Lule˚a Email: martin.sim

Source URL: www.maths.lu.se